more on this theme     |     more from this thinker     |     more from this text


Single Idea 17779

[filed under theme 5. Theory of Logic / K. Features of Logics / 1. Axiomatisation ]

Full Idea

The purpose of a 'classificatory' axiomatic theory is to single out an otherwise disparate species of structures by fixing certain features of morphology. ...The aim is to single out common features.

Gist of Idea

'Classificatory' axioms aim at revealing similarity in morphology of structures

Source

John Mayberry (What Required for Foundation for Maths? [1994], p.406-2)

Book Ref

'Philosophy of Mathematics: anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.406

Related Idea

Idea 17780 'Eliminatory' axioms get rid of traditional ideal and abstract objects [Mayberry]